Merge pull request #966 from davidcunado-arm/dc/build_with_gcc6.2
authordavidcunado-arm <[email protected]>
Tue, 20 Jun 2017 11:20:08 +0000 (12:20 +0100)
committerGitHub <[email protected]>
Tue, 20 Jun 2017 11:20:08 +0000 (12:20 +0100)
Resolve build errors flagged by GCC 6.2


Trivial merge